abstract semantics的例句大全

Abstract: Both fuzzy semantics and precise semantics are important parts in the expression of Official Language. There is different nature, but also inextricably linked. Under certain conditions, they are to achieve mutual conversion.

摘要：模糊语义和精确语义是公文语言的重要表现形式，它们之间既存在本质差别，也存在不可分割的联系，同时，双方在一定条件下也可实现相互的转换。

互联网摘选

Note: more stringent correspondences between abstract and actual semantics may be defined by each implementation.

注: 抽象与实际语义的更严格对应可能由每个实现自行定义.

互联网摘选

Key Concepts of Describing Abstract Semantics Facing the Object Language

描述面向对象语言抽象语义的几个关键概念

互联网摘选

Thirdly, we define abstract semantics of a meta model.

第三，设计了一套元模型的抽象语义。

互联网摘选

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

互联网摘选

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics how parallel programming works away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。

互联网摘选

SPM-CMM provides abstract syntaxes and rule semantics for CMM software process, and also supports of modeling of CMM integration with UML CASE tools.

该元模型既支持CMM软件过程的抽象语法和规则语义，也支持利用UML CASE工具操作CMM软件过程模型。

互联网摘选

Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.

模式匹配采用了抽象语法树同构判断算法；指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的；跨过程分析采用基于总结的上下文敏感分析方法。

互联网摘选

Algebraic semantics and inheritance of an abstract class with trace

具迹抽象类型的代数语义与继承

互联网摘选

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

互联网摘选

This paper will firstly build an abstract description model for dynamic semantics detection of software components;

为解决这一问题，该文首先构造一个能够用于软部件动态语义检测的抽象描述模型；

互联网摘选

Psychological verb show psychological abstract verb of activity, semantics research indicate its semanteme there is distinct characteristic.

心理动词是表示心理活动的抽象动词，语义学研究表明其语义具有鲜明的特征。

互联网摘选

So it paves the way for the successive architectural component recognization. Secondly, an abstract semantics-based approach to architectural drawing recognizing is presented.

其次，提出一种基于抽象语义信息的建筑矢量平面图形的识别方法。

互联网